$\forall$${\it the\_es}$:ES, $e$:E. ($\neg$($\uparrow$isrcv($e$))) $\Rightarrow$ (act($e$) $\in$ Id)